/*
 * SPDX-License-Identifier: BSD-3-Clause
 * Copyright (c) Huawei Technologies Co., Ltd. 2021-2023. All rights reserved.
 * Description   : udk IO interface
 */

#ifndef UDK_IO_H
#define UDK_IO_H

#include "udk_common.h"
#ifdef UDK_ARCH_ARM64
#include "arch/arm/udk_io.h"
#else
#include "arch/x86/udk_io.h"
#endif

static udk_force_inline void udk_write64(uint64_t value, volatile void *addr)
{
    udk_io_wmb();
    udk_write64_relaxed(value, addr);
}

#endif /* UDK_IO_H */